perm filename FILES[F81,JMC]1 blob sn#616088 filedate 1981-10-05 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	nonmon.ax[f81,jmc]	Examples of axioms intended for use with circumscription
C00003 ENDMK
CāŠ—;
nonmon.ax[f81,jmc]	Examples of axioms intended for use with circumscription
shackl[f81,jmc]		The Shackleton Project of a one way trip to the moon